I broadly agree, but teachers and other public employees have pension plans that are funded mostly by the employer (public) and pay 50-80% of their annual salary for their lifetime after 30 years of service. So you can't compare those numbers directly.