"Economic models of contract typically assume that courts enforce obligations on the basis of verifiable events. As a matter of law, this is not the case. This leaves open the question of optimal contract design given the available remedies that are enforced by a court of law. This paper shows...