Try bind and unify