x + y = {xL + y, x + yL | xR + y, x + yR}