prim_eval.abstr