8.G.A.5 Angle sums, parallel lines, AA similarity (informal arguments).
CoreExtendedChallenge