1) m∠1 = 62°, lines t and l intersect (given)
2) ∠1 and ∠4 are vertical angles (intersecting lines form vertical angles)
3) ∠1 and ∠4 are congruent (vertical angles are congruent)
4) m∠1 = m∠4 (congruent angles have equal measure)
5) 62° = m∠4 (substitution)
6) m∠4 = 62° (symmetric property of equality)
