RJ⁡(x,y,z,p)=R-32⁡(12,12,12,1;x,y,z,p),