(+ 1 (+ x y)) | (+ (+ x y) 1)
