enriched description of meta-prover