Good point. But I wonder if USD is going to be devalued so much that the pension plan can probably keep going. That is inflation run at double digits per year and the increase in premium can keep up with the pay out and of course the actual purchasing power is not there.