Hot: congruence