RC(x,12(y+z))RF(x,y,z)RC(x,yz),