Shows k-permutations as filling ordered slots from a pool without replacement. The animation steps through each slot to emphasize order sensitivity, then highlights the falling product n·(n−1)·…·(n−k+1) and its equivalence to n!/(n−k)!; includes a special case where k=n to show full permutations equal n!.
Time-based staged animation: each slot fill is a phase, followed by a formula-equivalence fade-in. Uses grid snapping for a blocky aesthetic, responsive scaling via scale=min(w,h)/baseSize, and simple deterministic selection to illustrate "no replacement".