x R x > y
