Whether the outcome of bargaining over wage and employment between an incumbent firm and a union remains efficient … wage is not observed, contracts feature over-employment. Under separating equilibrium the low type is over-employed, and …