Antingen måste man antaga det,