R S \ iff ' is.