Introduce congruence future work section