Finish future work paragraphs for Proof Transitions