Self-Explanation Training Improves Proof Comprehension · Study