bridge between possibleAlloAlg and possibleAlloRel; also introduced Kernel