ProofMode critiques and progress

Guardian Project