babar comments on ...Recursion, Magic

[babar]

you just need to choose the right invariant which is orthogonal to intelligence and then optimise intelligence