右一意的_(right-unique)