Module 2 - The concept of congruence
