måste alltså antaga ,att