“…Some other studies (e.g., Conteras, 2007;Leikin, 2015;Leikin & Grossman, 2013;Segal, Stupel, Sigler, & Jahangiril, 2018) investigated how the problems were posed by means of dynamic software such as GeoGebra, Geometry Sketchpad, and Geometry Investigator. In such studies, participants were provided with geometric proof activities, and how they transformed these activities into problems was investigated.…”