Make some adjusments to congruence' defintions chapter