let pp fmt (a, rho) =   
    pp_justification fmt rho;
    Pretty.post Term.pp fmt (a, ">0")