Think of it like a 401k or Roth account for government workers. The tax rules are mostly the same, except when we leave government service, we can withdraw the money without penalty.