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