(v5 x) | (v14 x)
