BFF08: I can demonstrate which notations for segments can be used in congruencies and which can be used in equalities.
BFF08.5 #1: I can derive the segment overlap theorem from previously known postulates and the algebraic properties of equality.
BFF08.5 #2: I can state the segment overlap theorem (include a sketch of the corresponding diagram) using variables, then apply the theorem to find lengths of segments. SHOW WORK.