* evaluator primitives.