Tamir is working to prove the triangles congruent using SAS. After stating the given information, he states that TQ ≅ QS by the definition of segment bisector. Now he wants to state that ∠RQT ≅ ∠PQS. Which reason should he use?