subcategories: BoolAlg, HeytAlg

This data as json