09/15/2024

A solution that involves a eureka moment is generally very difficult, if not impossible, to derive systematically through a computation because it requires reasoning on a subtle level about objects and their properties.

— Martin Erwig, Once Upon an Algorithm