I think the point is, if the current contract without sick time gets pushed through, anyone who can retire soon may hold on until they hit 20 years, even if they’ll still have to work another job. People in the military do this very often. It’s exactly what I would do in their shoes.