Comment by 9rx

Tests are the specification.

That they also happen to be executable is there only to automatically ensure that the program actually conforms to the specification.