9 September 2026

Every good constraint narrows the search usefully.

— The Wiser One