v1 | v4
(+ 2 v1) | (+ 2 v4)
