Evaluator already evaluates symbols in the given environment correctly!