Do not use ML equal on terms
Another example
Evil example by Dana Scott
Don't stop after the first beta reduction.