Re: unification of evaluation terms