Add a bunch of pics to Proof Transition description section, plus a bit of text.