Visserligen bör man antaga,