This paper develops a multi-industry general equilibrium model where entrepreneurs within each industry can decide to operate formally or informally. The model generates a rich set of predictions including productivity cut-offs for formal and informal firms to operate within different...