Given that the 20-element ortholattice has been constructed from the lines of our affine geometry, the 16 functions of our original connectivity algebra form the extensional basis of the construction.
However, the namespace of the ortholattice has been obtained in such a way that
NTRU has been replaced with THIS
The next construction embeds a DeMorgan algebra into the lattice so that the four-atom Boolean block has an independent interpretation that is isomorphic to the free Boolean lattice on two generators associated with truth-functional logic.
Without negation, it is difficult to convey the four forms
Ax, Ax-, Ex, Ex-
The namespace is formulated so that
ALL corresponds with Ax NO corresponds with Ax- SOME corresponds with Ex OTHER corresponds with Ex-
We fix the relationships of these names, relative to the use of negation, by taking ALL and SOME as fixed and NO and OTHER as conjugate.
This is made precise by the subdirectly irreducible DeMorgan algebra on four elements whose involution is given by
ALL --> ALL NO --> OTHER OTHER --> NO SOME --> SOME
The product of this algebra with itself has sixteen elements.
We now correllate those line names used for the four-atom Boolean block with the elements of the 16-element DeMorgan lattice.