According to your own analysis, they can further be consolidated into ONE AND THE SAME line.

Which, at least outside of WM's wild weird world of WMytheology, is more consolidated that merely each in "some line"> > > Just like U( { FISON } ) = U( { j | 0 <= j <= n, n e N }) adds nothing new, > > it just puts them all in the single set N. > > A union over subsets cannot put more than has already been there, because for > every n, there has been FISON(n) in some line. Whether you call it > consolidation or else: getting more than every FISON remains matheology > without mathematical foundation.

Which members of |N does WM claim are NOT members of any FISON, thus many FISONs, thus the union of all FISONs?> > > "Each child is on some bus" does not, necessarily, imply that "All children > > are on some bus". > > Here we have a different situation: Each child is in one bus together with > all smaller children. Try to figure out how many buses are required > respectively possible.

That means that, at least in WM's wild weird world of WMytheology, some children must be simultaneously on more than one bus. School traffic patterns in WM's wild weird world of WMytheology must be vicious!> > Regards, WM--