Eureka, "special" case G^K is being optimized => now, optimize more reflects/suits Map/Reduce