Eureka step In program transformation, a transformation which is not obvious or easy to define as an algorithm. (1994-12-08)