(+ y 1) | (+ 1 y)
