let pp_id fmt pid = Format.fprintf fmt "%s" (prop_txt pid)