This paper extends Bernheim and Whinston's (1986) menu auction model under transferable utilities to a framework with non-transferable utilities and budget constraints. Under appropriate definitions of equilibria, it is shown that every truthful Nash equilibrium (TNE) is a coalition-proof Nash...