       `(do
          (def ~def-name ~quoted-def#)
          (alter-meta! (var ~def-name)  (fn [m#] (assoc m#
-                                                       :doc (mk-doc "axiom" (quote ~ty) ~doc)
+                                                       :doc (mk-doc "Axiom" (quote ~ty) ~doc)
                                                        :arglists (list (quote ~params)))))
          [:declared :axiom (quote ~def-name)]))))
 

  (str "\n"
       (with-out-str
         (pp/pprint content))
       "\n(" kind ")"
       "\n\n"
       explanation))


      `(do
         (def ~def-name ~quoted-def#)
         (alter-meta! (var ~def-name)  (fn [m#] (assoc m#
                                                       :doc (mk-doc "Theorem" (quote ~ty) ~doc)
                                                       :arglists (list (quote ~params)))))
         [:declared :theorem (quote ~def-name)]))))

