let
pp_axiomdef_title fmt a =
Format
.fprintf fmt
"User-defined axiom %s"
a.a_name