Finish up the proof of 3.3. Yay!