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