In the context of a costly-state-verification model with a risk-neutral agent having limited liability, it has been postulated that allowing stochastic auditing reduces the asymmetric information problem to a trivial one: i.e., the first best can be approached arbitrarily closely with feasible...