RJ⁡(x,y,y,y)=RD⁡(x,y,y).