subcategory,parent
CompBoolAlg,BoolAlg
CompBoolAlg,CompLat