Notes.

Things I worked out the hard way, written down so I don't have to twice.