(v1 x) | (+ 0 x)
