Denn im Satz müssen
seine Folgesätze
die Sätze die aus ihm folgen
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.)