(+ v1 1) | (+ 1 v3)
