Mike Whinston: Vertical Contract Formation (Theory I)