Much of the essence of building a program is in fact the debugging of the specification.

— Fred Brooks, The Mythical Man-Month