så måste vi antaga ,att