Congestion is a large problem in metropolitan areas. This paper provides a theoretical and empirical framework that can analyze whether congestion on commuting affects residential and workplace choice in metropolitan areas. First, we develop a quantitative urban model with congestion, to...