view proofs