prove cheats in evaluate_i4_exp_i4