The paper quantitatively investigates, in general equilibrium, the interaction between the firms’ choice to operate in the formal or the informal sector and government policy on taxation and enforcement, given a level of regulation. A static version of Ghironi and Melitz’s (2005) industry...