Man måste dock antaga,