A Clojure aid to truth tables and proofs.