Und dieses Anlegen der Sprache ist die Verification der Sätze.