de>Logical</code> concept almost represents a boolean algebra. The rationale for this laxity is to allow things like integers to act like <code>Logical</code>s, which is aligned with C++, even though they do not form a boolean algebra. Even though we depart from the usual axiomatization of boolean algebras, we have found through experience that the definition of a Logical given here is largely compatible with intuition.</p>
<p>The following laws must be satisfied for any data type <code>L</code> modeling th