v1 | (+ 1 v3)
