v2 | (+ 1 v4)
