let decide_some v1 v2 = V.join v1 v2