-

Thesis progress. I think I can
prove the extensionality rules admissible.

Saw another Japanese movie at the Carnegie.
This one had Samurai.
Then had some food at La Fiesta, went to Friday Night Improv
at Pitt.
"...and roast marshmallows!"

Timing-sensitive typing recording?