Justifying SAS Congruence