Man mäste alltså antaga ,att