nts.  Anything that
    is unreadable by students who have been accepted for a CS graduate
    program at a good university is inappropriate as a standards document.

JS: Those excerpts that you extracted from textbooks on
    category theory are intended to be read by advanced
    undergraduates and beginning graduate students --
    i.e., by the kind of people who might be expected
    to read the IFF document.  Yet they are much more
    readable than the IFF document.

JS: I recognize that the IFF devel