unify value finding