Denn im Satz müssen die Sätze die aus ihm folgen || seine Folgesätze mitgedacht sein; – also müssen in jenem Satz jedenfalls die ersten 10000 Sätze mitgedacht sein.
     (Hier ist noch eine Undeutlichkeit in der Theorie des Folgens.)