This paper utilizes an otherwise standard micro-founded general-equilibrium setup, which is
augmented with a revenue-extraction mechanism to assess the magnitude of VAT evasion …