Before revision: Note that two alternatives a, b can satisfy a R b and b R a.
After revision: Two alternatives a, b can satisfy a R b and b R a.