Man måste därför antaga,