> As a final remark, in this paper we only set up our general mathematical framework and leave a practical implementation for future work. Whitehead, Russell,

> As a final remark, in this paper we only set up our general mathematical framework and leave a practical implementation for future work. Whitehead, Russell, and Gödel enter the room... Compact closed categories are forgetful functors. My hunch is it will have a similar loss of information as text loses compared to speech. Thae the statement: "I never said she stole my money" Say that out loud, stressing each word in turn and notice how the meaning changes each time. Similar issues arise with this paper. Forgetful functors always drop either axioms, predicates or types.