> > Your claim is that there is a line of the list that contains> > every FIS of d (there is no mention of all)>> But you seem to interpret some completeness into "every".> Remember, beyond *every* FIS there are infinitely many FISs.,

I am using your claim including the fact that beyond*every* FIS there are infinitely many FISs.

I simply note that if line l contains every FIS of d, thend and line l are equal as potentially infinite sequences.

Your first claim is that there is a line l such thatd and l are equal as potentially infinite sequences.

Your other claim is that there is no linel such that d and l are equal as potentially infinitesequences.