ex 4.2b evaluator w/tests