I hvilket fall som helst kan man antaga,