Function mustProvide