Men då måste man antaga,