1. A logical argument that shows a statement is true.
A two-column proof has numbered statements and corresponding reasons that show an argument in logical order.
A statement that can/must be proven.

2. Given (The given info is almost always first).
Substitution Property of Equality
Given 3
Subtraction Property of Equality

3. AB ≅ AB
CD ≅ AB
AB ≅ EF
∠A ≅ ∠A
∠B ≅ ∠A
∠A ≅ ∠C
Symmetric Propery of Congruence

4. Segment Addition Postulate
Substitution Property of Equality
Transitive Property of Congruence

5. Given
∠1 ≅ ∠2 or ∠ABD ≅ ∠CBD
m∠1 = m∠2
Angle Addition Postulate 1
2 × m∠1 = m∠ABC

6. Given
AB = CD
CD = AB

7. Transitive Property of Congruence
Given
AR ≅ RM
Rest Area A
Rice Exit
Mason Exit
Rest Area B
A R M B
AR = RM
Transitive Property of Congruence
A R M B
A R M B
MB ≅ RM
Definition of Midpoint

8. Rest area A and rest area B are the same distance away from the rumble strips.