static LS notContaining(Cl<S> l, S x) {
  ret filter(l, s -> !contains(s, x));
}

static LS notContaining(S x, l<S> l) {
  ret notContaining(l, x);
}