empty

TristateMonoid

eqv

TristateEq