unify

unify, logic var