Optimal Tax Design and Enforcement with an Informal Sector · Study