Eureka step

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