Proof/Prooflike Sets