Consider proving the following.

Given Right isosceles △ABC with leg length 2s, right isosceles △WXY with leg lengths s, CA¯¯¯¯¯¯¯¯∥WY¯¯¯¯¯¯¯¯¯
Prove △ABC is similar to △WXY.




A student says the first step of the proof is "Reflect △ABC in AB←→ to create △ABC′." Which of the following statements logically comes next?


1. Rotate △ABC′ 90∘ about point A.

2. Reflect △WXY in WX←→− to create △WXY′.

3. Translate △ABC′so that point A maps to point W.

4. Find the hypotenuse of △ABC′ in terms of s.