Då bör man antaga,