Why are observed contracts so often incomplete in the sense that they leave contracting parties' obligations vague or unspecified? Traditional answers to this question invoke transaction costs or bounded rationality. In contrast, we argue that such incompleteness is often an essential feature of a well-designed contract. Specifically, once some aspects of performance are unverifiable, it is often optimal to leave other verifiable aspects of performance unspecified. We explore the conditions under which this occurs, and investigate the structure of optimal contracts when these conditions are satisfied.