All problems were well-structured proof problems. Our decisions to select or
modify these problems were guided by (a) richness of embedded
geometric knowledge and (b) multiple reasoning steps involved in the
development of proofs. Figures 1 and 2 below are two of the problems
that appeared in this test.