In article <email@example.com>, WM <firstname.lastname@example.org> wrote:
> > You have agreed that you have not shown you can do > > something that does not leave a FISON > > and does not change the union of all the lines > > Yes. And you have approved my proof. But we know both that the result > is wrong, since the list cannot contain more than every line.
The union of all FISONs, can, and must contain more than any line.
Just like the union of all von Neumann naturals is the set of all von Neumann naturals. --