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