The employes you know must be under CSRS, not FERS. FERS is where Social Security should go -- a hybrid system in which the employee builds wealth through a 401K and the gov sets aside a small ponzi scheme portion similar to Social Security. And feds not on CSRS also pay into social security.