abstract ExtraChiAbs = Cat ** {
  cat
    Aspect ;
  } ;