The expression above the canvas is the inner product written out as a sum of individual product terms, with per-term color coding.
• Grey terms are pending — not yet computed
• Blue, bold marks the term being computed in the current scene
• Green terms have already been counted
• On the final scene, every term is green and the sum is complete
This running sum is the bridge between the visual pairing (highlights and arrows on the canvas) and the algebraic formula. By the end of the animation, you have seen every term in the sum named, paired, and counted.