It’s considered their pension — but they can collect it as early as age 50. And it’s not always 10%, they can get up to 80%. 10% is just the min for people who were only there one term. Plus, it’s not a static amount. It goes up commensurate with inflation. Must be lovely to be able to set one’s own wage and mandate that taxpayers have to pay it, like it or not.