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

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