Add experiments of congruence and last changes