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