I'm about to take my CS507 final, thereby freeing me of my scholastic debts to Washington University. As with most people, my motivation for doing well on this exam is pretty much nonexistent, but I've got my sheet of notes and I'll do these proofs the same way I've done proofs all semester: with as little mathematical formality as possible. Proofs are nice, but nothings satisfies quite like a strongly worded statement that insults the reader if they don't see the obviousness of the solution.