We hope not to go back to the inflation rates of the 1980s.
Earlier, Mr. Bains talked about what was included in the operating costs, specifically the salaries of the military. Is the cost of uniforms, food on the ship, training, and so on, included? Is that all included?