Tax progression is good for employment in popular models of trade union behaviour