Eureka step

Eureka step

In program transformation, a transformation which is notobvious or easy to define as an algorithm.