"strong ortholattice" . . . "strong ortholattice" .