Eval and some add methods for deduction system.