proofType