What about other government workers, such as military, teachers, social workers, etc?