Task Comprehension Strategies in Proof Construction – Methodological and Educational Issues | Synapse