Proof Transitions additional issues outline