(v4 x y) | (v9 x y)
