Man får således antaga,