sO makeAnd(O... l) {
  if (empty(l)) null;
  ret foldl_noSeed((a, b) -> And(a, b), asList(l));
}