v1 | (+ 2 v3)
