concrete ConjunctionGus of Conjunction = CatGus ** ConjunctionBantu with
 (ResBantu = ResGus);