for titles/abstracts that contain any all of these words: Aehsan Haj-Yahya - Vol. 45 Num. 2 (2025) Exploring proof relations using digital interactive building blocks ABSTRACT 24-30