Saken förhåller sig så här.