R m unify