Derive the 180-degree angle sum with a parallel line through a vertex and alternate angles — G3 says derive, not just use — then apply it, including algebraic angles and triangles nested in other figures. The exterior-angle shortcut and the isosceles special case are sibling pages. Both tiers. (G3)