Okay, so if this is the only thing then we can just turn it into a defined contribution fund instead of a defined benefit fund. You don’t make $x, you just have to put $y into a 401k. Why does it have to be different for public sector workers?