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