⌊⌊⌋⌋       Ist nicht Alles was ich meine, dass es zwischen den Satz und seiner Verifikation nicht noch ein Mittelglied gibt, das diese Verifikation vermittelt?