This paper presents a microeconomic theoretical model of union optimizing behavior which is then used to test the relevance of the tax-push hypothesis for wage formation in nine Western European countries. Two factors—the compensation and the progressivity effects—are shown by the model to...