Bargaining models for AI agents of sellers and buyers. If Muse is aligned to my interests it will shade my bid, and Myerson–Satterthwaite says no mechanism can stop some mutually beneficial trades from failing. That is, alignment requires inefficiency.