# data[].attributes.body
If two angles are right angles, then they are congruent.

# data[].attributes.body
If two angles are straight angles, then they are congruent.

# data[].attributes.body
If a conditional statement is true, then the contrapositive of the statement is also true.

# data[].attributes.body
If angles are supplementary to the same angle, then they are congruent.

# data[].attributes.body
If angles are supplementary to congruent angles, then they are congruent.

# data[].attributes.body
If angles are complementary to the same angle, then they are congruent.

# data[].attributes.body
If angles are complementary to congruent angles, then they are congruent.

# data[].attributes.body
If a segment is added to two congruent segments then the sums are congruent. (Addition Property)

# data[].attributes.body
If an angle is added to two congruent angles then the sums are congruent (Addition Property)

# data[].attributes.body
If congruent segments are added to congruent segments then the sums are congruent. (Addition Property)

# data[].attributes.body
If congruent angles are added to congruent angle then the sums are congruent(Addition Property)

# data[].attributes.body
If a segment (or angle) is subtracted from congruent segments (or angles) the differences are congruent. (Subtraction Property)

# data[].attributes.body
If congruent segments or angles are subtracted from congruent segments or angles then the differences are congruent (Subtraction Property)

# data[].attributes.body
If segments (or angles) are congruent then their like multiples are congruent. (Multiplication Property

# data[].attributes.body
If segments or angles are congruent then their like divisions are congruent (Division Property)

# data[].attributes.body
If angles or segments are congruent to the same angle or segment then they are congruent to each other (Transitive Property)

# data[].attributes.body
If angles (or segments) are congruent to congruent angles (or segments) then they are congruent to each other

# data[].attributes.body
Vertical angles are congruent