abstract IrregInaAbs = Cat ** { }