“Models for proof comprehension in secondary and tertiary education and their fit to learning processes for first-year undergraduate students” (2024) mathematica didactica, 47(1). doi:10.18716/ojs/md/2024.1655.