(v0 x) | (+ v2 x)
