Man borde alltså antaga ,att