let
pp_descr fmt _ =
Format
.pp_print_string fmt
"Axiomatic Definition"