v2 | v4
(+ 2 v2) | (+ 2 v4)
