Three Dollar Quill

I was kind of messing around today, but I did start laying out the stubs for substitutions and unification. I think I'd like to print this stuff out and take notes on it, because there are a bunch of code changes that need to happen, and it wouldn't do to just rush into them.

I want to just wrap things up right now, because I'm super warm again and I'm paranoid that my laptop is going to conk out for no obvious reason again.

Good night.