Saken förhåller sig helt enkelt så: