Wrote up draft from last night

Still need to fill in a few proofs.