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...