Das was den Gedanken wahr macht, kann nicht vorausbestimmt sein, weil es eben sonst da || der Fall wäre. „Aber es ist vorausbestimmt, wie es ist || sich verhält, wenn der Gedanke wahr ist.” Aber mehr brauchte es doch nicht, eben die Tatsache, die Verifikation, zu geben. Dieses „der Satz sagt || zeigt, was der Fall ist, wenn er wahr ist”, sagt eben nichts, denn p zeigt eben daß p der Fall ist, wenn etc. D.h. auf die Frage „was wäre || ist denn der Fall wenn …?” könnte nur p zur Antwort kommen. Das ist aber eine bloße Tautologie.