various proofing