. " properties of optimal menus, such as efficiency at the top and downward distortions elsewhere." . . .