[maweki]

But the question is not whether their infinite extensions or limit are equal, but whether at each finite combination some property about the stream progress holds.