. . .  all government employees
should be required to be
registered, dues-paying party
members of the GOP.