concrete CatGus of Cat = CommonX - [Pol] 
  ** CatBantu with (ResBantu = ResGus);