What if we start with congruent angles?