Man kan sålunda antaga,