That is what was happening 10 years ago.   I gave you the link and the table in effect for the 1990s and 2000's I've given you the links to the tables for every other employee on the system currently.   I've given you average payout amounts by years worked multiple times as well.   It's clear that you don't really care about the facts you just want to lie about the situation and vent.    

Fact nobody on CO PERA can retire with 20 years at 55 and have full benefits.   They couldn't even do it with the purchase of 10 years of service.