Det hela förhåller sig sålunda: