parid0925 | Sun, 02 Mar 2003 15:39:19
The behaviors of conforming implementations must be consistent with all of the behavioral constraints imposed on them by this RM4TM and by the TM Application definitions they claim to implement.
(strike)
we should be constraining TM Applications and only indirectly
applications.