Congruence, 2017