Man får sålunda antaga,