R^{-1} = \{(\rho(x), x) | (x,\rho(x)) \in R \}