Lessons in Logic 10: Rewriting Arguments in a More Orderly Fashion

"Thanks for watch--" I say, as I click the button half a moment too soon.

Anyway, you gotta rewrite arguments in a more orderly fashion if you're going to evaluate them properly. More to come!