I also like to say that the code is the first formal/precise definition of what the product is.