let pp_title fmt x = Format.fprintf fmt "User-defined axiom %s" x