let decide_both = V.is_included_exn