Update mathlogic.clj