Slutligen måste man antaga ,att