It is often argued in the US that HOV (high occupancy vehicle) lanes are wasteful and should be converted to HOT (high occupancy vehicles and toll lanes). In this paper, we construct a simple model of commuters using a highway with multiple lanes, in which commuters are heterogeneous in their...