Mr. Speaker, again, I think it is very clear. It is a legislated fund, with the government guaranteeing to pay pensions.
Employees pay a set proportion. It was 7.5%. The government paid any deficits that arose and any additional amounts in the fund therefore belong to taxpayers.