⌊⌊ Man ◇◇◇ bereitet die Logik für die Existenz von n-stelligen Rel. ˇvor oder für die Existenz einer unendlichen Anzahl von Gegenständen etc. ⌋⌋