RD⁡(x,x,z)=3z-x⁢(RC⁡(z,x)-1z),