proofSchema