The paper analyzes the canonical hold-up model of Hart and Moore (1988) under the assumption that the courts can verify delivery of the good by the seller. We show that the first best can be achieved using simple "option contracts" which give the seller the right to decide whether or not trade...