Man måste i stället antaga,