Dealing with \$$\mathbf{Bool}\$$-categories is like learning left and right all over again, but for every \$$\mathbf{Bool}\$$-category.