> Code is critical for specifications because it doesn't suffer the flaws of human interpretation and assumptions. Code is a formal specification at a very par

> Code is critical for specifications because it doesn't suffer the flaws of human interpretation and assumptions. Code is a formal specification at a very particular level. But you can have formal specifications of any level you like that is just as precise and mechanical as code (and usually much clearer).