Congruence and Naming Properties of Segments