Using the Controls
Five controls drive the animation:
• Play runs the full proof. After step 4 finishes, the strips oscillate apart-and-together to keep the discard idea visible without freezing the screen.
• Pause stops the current animation, including the stage-4 oscillation, in place.
• Step Forward and Step Back move through steps 1–4 one at a time. Use these to study the marking and overlap separately from the discard correction.
• Reset returns to step 1 and replays the intro fade-in.
• Speed ranges from 0.5× to 2×. The default 1× lets the strip motion read clearly while still keeping the proof brisk.
The right panel shows the four written steps with the current step highlighted as the animation progresses.