It perhaps may have changed in recent years, I paid mine off in 2020 I believe but the rate then was RPI + up to 3% salary dependent. I’d agree that it would be fair if it were flat RPI and if that’s the case these days then I agree that that’s fair. In fact, based on your numbers it certainly...