static LS minusMechListElements(S listName, Iterable<S> l) {
  ret listMinusSet(l, mechSetCI(listName));
}