Implemented evaluator (not yet tested).