R-a⁡(b;x⁢1)=x-a