Finish draft of Proof Transitions description subsection