Added partial evaluator!