Alltså måste man antaga,