I så fall nödgas man antaga,