Social and private insurance schemes rely on legal action to deter fraud and tax evasion. This observation guides us to introduce a random state-verification technology in a dynamic economy with private information. With some probability, an agent's skill level becomes known to the planner who...