catching Unify errors