subcategory,parent
BoolAlg,DistLat
BoolAlg,HeytAlg