Notes from 3/10/14

Lots of proofs.