I annat fall skulle man antaga,