Der Satz selber scheidet das mit ihm congruierende von dem nicht congruierenden.
Zum Beispiel: ist also der Satz gegeben und Congruenz dann ist der Satz wahr wenn der Sachverhalt mit ihm congruent ist oder es sind gegeben der Satz und nicht-congruenz, dann ist der Satz wahr wenn der Sachv. mit ihm nicht congruent ist.