On Feb 7, 3:05 pm, WM <mueck...@rz.fh-augsburg.de> wrote: > On 7 Feb., 14:44, William Hughes <wpihug...@gmail.com> wrote: > > > On Feb 7, 2:32 pm, WM <mueck...@rz.fh-augsburg.de> wrote: > > > > I do not agree that <snip> ~6 > > > follows from 3. > > > Nor does anyone else. > > Then d is not actually infinite.
Nope, that does not follow. 6 just says that all FISONS of d are terminating It does not say d is terminating.
Even though every FISON of d terminates and d does not contain anything but FISONS, WM has pointed out that d is not a line of the list.