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.
