Alltså måste det antagas.