Eureka step

From Wikipedia, the free encyclopedia

A eureka step is a step in program transformation that is neither obvious nor as easy to define as an algorithm.