(+ 0 1) | (+ 1 2)
