Saken ställer sig nämligen sålunda: