Wow that is egregious. I've known professors whose pensions were 70% of the average of their best 4 years.