Counting without an index
A person counting spirals on a cone puts a finger on one scale, follows a family round, and counts how many distinct chains there are. That needs no order of arrival — and building it turns out to be strictly more general than the counter the site had, and to find a bug in the counting of a bijugate stem that no assertion would have caught.
rung 3 · lattices