[math-fun] SSA congruence