Properties of Equality and Congruence