v1 | (+ v3 1)
