We provide a characterization of an optimal insurance contract (coverage schedule and audit policy) when the monitoring procedure is random. When the policyholder exhibits constant absolute risk aversion, the optimal contract involves a positive indemnity payment with a deductible when the...