A sufficiently comprehensive spec is not (necessarily) code