Symbol: EVAL4