Man kan följaktligen antaga,