A congestible urban transport system is considered in which cars and buses are used for commuting and non-commuting trips. Commuting is a strict complement to taxable labour supply. The optimal tax structure for raising a given amount of government revenue is examined for the cases where...