1Proof — the theorem loaded in the player; the ? gives its idea in one line
2Display — Labels shows the point names, Measures writes each marked angle's size beside its arc
3Draggable points — B slides round the circle and sets the length of both chords, C carries the second chord round, A sets the radius, O moves the circle; the hollow points D, M and N follow
4Readout — the line under the figure: the two chords and the two distances OM and ON, live while you drag
5Back, Play, Next, Reset — step through the proof or run it; Reset returns to step 1 and restores the original figure
6Speed and step counter — how fast Play advances, and which of the 6 steps is on screen
7Step explanations — every step reached so far, with its justification tag and a link to the section that explains it; click an entry to jump back to it