Saken är helt enkelt följande: