(v0 x) | (v1 x)
(+ y (+ y 2)) | (+ (+ 1 y) 2)
