Write two-column proofs for basic segment and angle theorems, including the Vertical Angles Theorem.
Now the two-column format meets real geometry. Alongside the properties of equality, geometric proofs use definitions (like the definition of midpoint or the definition of congruent angles, which lets you swap between an angle-measure equation and a congruence statement) and previously accepted postulates (like Segment Addition or Angle Addition). The Reflexive Property (any segment or angle is congruent to itself) and the Symmetric Property (if AB ~= CD, then CD ~= AB) round out the toolkit and show up constantly, especially when a proof shares a side or angle between two figures.
The Vertical Angles Theorem -- vertical angles are always congruent -- is worth proving once carefully, because the proof pattern (use a linear pair twice, then subtract a shared angle) reappears all year. Once a theorem is proved, it joins the list of reasons you are allowed to cite, exactly like a postulate; that is how the toolkit for proof keeps growing all year, each new theorem built on the ones before it.
Mastery looks like: They write or complete a two-column proof of a segment or angle theorem, correctly citing definitions, postulates, and the properties of equality and congruence.
Common stumbles: Citing a theorem before it has actually been proved or given; forgetting that congruence statements (~=) and equality statements (=) need the definition of congruent to move between them.