cheating a slow EVAL-proof