Yes, exactly that. You can't mix private sector services with public sector services; NO public sector workers at any level of government should have the right to strike based on the principle that if the Government has mandated and monopolized the service it must, by definition, be an essential public service.