In this model, a principal decides whether to produce one indivisible good and which characteristics it contains. Agents are differentiated along two substitutable dimensions: a vertical parameter that captures their valuation for the good, and a horizontal parameter that captures their...