new example - fixed unify function