In this article, we analyze the canonical hold-up model of Hart and Moore under the assumption that the courts can verify delivery of the good by the seller. It is shown that no further renegotiation design is necessary to achieve the first best: simple option contracts, which give the seller...