Start description of Proof Transition transition highlighting and animation