Why are pensions not based on base salary? That seems like an easy and obvious fix.