(+ x 2) | (+ (+ 2 x) 2)
