subcategory,parent
BoolAlg,HeytAlg