Text this: Studying the role of synergy between paper folding and a Dynamic Geometry Environment in upper secondary students' conceptualization of conditional statement and proof.