When public sector workers unionize