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