Man måste alltså antaga,