>>106195119
I wonder if his old elisp still runs.
http://www-formal.stanford.edu/jmc/facts.txt