This document discusses deductive reasoning and proof. It provides an example proof that if two angles are vertical angles, then they are equal in measure. It uses the facts that the angles add up to 180 degrees, the transitive property, and the addition property of equality to prove the two angles are the same measure. It also gives another example to prove that if two angles are complementary to the same angle, then they are equal to each other.