Use TernaryBool (#4) · Issues · galactic / public / src / algebras / convex