Vi få derföre antaga ,att