Saken lär förhålla sig sålunda: