I thank the hon. Gentleman. That is a very helpful intervention. I am not sure whether those numbers take account of the currency fluctuations
that have had an impact on sterling—they do not. I see the hon. Gentleman shaking his head, so we should assume that the total cost is even higher than £179 billion. A calculation was made in May this year which suggested that it would be £205 billion. That is a massive sum. The Defence Secretary is shaking his head, but would he like to intervene on me now and tell us the number?