| SAXONICA | 
The expression E1 and E2 returns true if the effective boolean values of
            E1 and E2 are both true.
         
The expression E1 or E2 returns true if the effective boolean values of
            either or both of E1 and E2 are true.