let
decide_some v1 v2 =
V
.join v1 v2