Models for proof comprehension in secondary and tertiary education and their fit to learning processes for first-year undergraduate students. mathematica didactica, v. 47, n. 1, 22 Dec.2024.