(4) Relational necessity. The combination of the problem and the students’ resources are such that it is necessary to attend to underlying relations, and cannot be completed by only manipulating symbols. Our analysis also suggested that a key feature of successful use of examples in proving is the selection of representation, which we discuss in this paper.