Proof Comprehension Tests