> (not (= 3 4)) ⇒ #t
   > (not (= 3 3)) ⇒ #f
   > (or (= 3 4) (= 3 3)) ⇒ #t
   > (or (= 3 4) (= 4 5)) ⇒ #f
   > (or 13) ⇒ 13
   > (or) ⇒ #f
   > (and (= 3 3) (= 4 4)) ⇒ #t
   > (and (= 3 3) (= 4 4) (= 4 5)) ⇒ #f
   > (and (= 3 3) (= 4 4) 13) ⇒ 13
   > (and (= 3 3) 13 (= 4 4)) ⇒ #t
   > (and) ⇒ #t