The "popular support for progressive income taxation theorem" (Maruhenda and Ortuno-Ortin, 1995) provides an important formalization of the intuition that a majority of relatively poor voters over rich ones leads to progressive income taxation. Yet, the theorem does not provide an equilibrium...