Self-Explanation Training Improves Proof Comprehension | Synapse