sbool isSortedList(Cl l) {
  Iterator it = iterator(l);
  if (!it.hasNext()) true;
  O a = it.next();
  while (it.hasNext()) {
    O b = it.next(); 
    if (cmp(a, b) > 0)
      false;
    a = b;
  }
  true;
}