Specification in the comments