Man kan således antaga,