We construct a dynamic, general equilibrium model of tax evasion where agents choose to report some of their income. Unreported income requires using a payment method that avoids recordkeeping - cash. Trade using cash to avoid taxes is the theoretical measure of the "shadow economy" from our...