v1 | (+ 2 v3)
v1 | (+ 2 v2)
