one

BoolFromBoolRing BoundedMeetSemilattice BoundedMeetSemilatticeFunctions DualBool MinMaxBoundedDistributiveLattice

or

DualBool GenBool GenBoolFromBoolRng GenBoolFunctions Heyting HeytingGenBoolOverlap