Det visar sig sålunda: