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