proofs

verifying code