(v1 x) | (+ (v3 x) 1)
(+ 1 x) | (+ x 1)
