Most code is not a specification in the sense that we're talking about.