Focus on mathematical aspects, concerning the didactical transposition of mathematical proof patterns into classrooms, is another established approach, which sometimes makes use of empirical research. Most empirical research focuses on cognitive aspects, concerning students’ processes of production of conjectures and construction of proofs.