Man måste nemligen antaga ,att