A Specification That Specifies The Function