eval_3 corrected.