Man mäste alltså antaga ,alt