Function mustProvideN