Add to description of Proof Transition transition highlighting and animation