The Proof Analysis Problem | ResearchHub