Congruence in Theory and Practice