rewrite TripleBool with Bool.