Wrote up almost all of the loop invariant proof, quit because of low blood sugar. Added clrs page references for tomorrow.