static bool canQuickEvalAll(L<S> l) {
  for (S s : l) if (!canQuickEval(s)) false; true;
}