v2 | 2
(+ v2 x) | (+ x x)
