qualif SelfSet(v : a, xs : [a]): (Set_mem v (listElts xs))