This paper investigates empirically the fiscal and welfare trade-offs involved in designing a pension system when workers can avoid participation by working informally. A dynamic behavioral model captures a household's labor supply, formal/informal sector choice and saving decisions under the...