The Congruence Framework