Can ASS/SSA be used to prove congruency?