Principal-agent models usually invoke the strong assumption that the parties know for sure ex ante whether a variable is verifiable or not. This paper assumes that only the probability of verification is known, and that ...