I develop a dynamic model of forward-looking entrepreneurs, who decide whether to operate in the formal economy or informal economy and choose how much to invest in their businesses, taking government policy as given. The government has access to two policy tools: taxes on formal business...