This section of the text could be subtitled "Separating Overlapping Congruent Triangles." It involves using given information and the various ways of proving triangles congruent to do so and following up by using CPCTC to deduce further info about the triangles. A key component, for which there is no cut-and-dry algorithm, is sketching the two relevant overlapping triangles separately.