I'm doing his job here, but these documents seem quite interesting: http://lsub.org/who/nemo/9.intro.pdf http://lsub.org/who/nemo/9.intro.pdf http://lsub.org/w

I'm doing his job here, but these documents seem quite interesting: http://lsub.org/who/nemo/9.intro.pdf http://lsub.org/who/nemo/9.intro.pdf http://lsub.org/who/nemo/9.pdf http://lsub.org/who/nemo/9.pdf