sbool ewic_notSame(S a, S b) {
  ret l(a) > l(b) && ewic(a, b);
}