removed cheat in EVAL-proof