Analyzing proofschool.org...