Description of CombinedProof