prover completeness (PC)