Ocular Proof Analysis