The top documents tagged [sas congruence postulate]