Introduction to Congruency