grad proofs