Category not found for boolean-algebra-and-logic.