for I being set
for M being V8() ManySortedSet of I holds not {} in rng M