Date: Mar 20, 2013 4:17 PM
Author: mueckenh@rz.fh-augsburg.de
Subject: Re: Matheology § 224

On 20 Mrz., 21:01, William Hughes <wpihug...@gmail.com> wrote:
> On Mar 20, 8:57 pm, WM <mueck...@rz.fh-augsburg.de> wrote:
>

> > On 20 Mrz., 20:40, William Hughes <wpihug...@gmail.com> wrote:
>
> > > On Mar 20, 4:24 pm, WM <mueck...@rz.fh-augsburg.de> wrote:
>
> > > > I show that every line, that is not the last line, is not needed.
>
> > > Nope.  You show that it is not necessary for its contents.
> > > This is not the same as not needed.

>
> > Agreed:
> > I show that every line, that is not the last line, is not needed to
> > remain in the list in order to have its contents in the list.
> > Agreed?

>
> Nope.  It may be needed for something else whose contents are
> needed (in this case the tail of the list) to exist.


Please name a line that is needed for the tail of the list to exist.
(You do agree that every set of lines has a first element?)

Regards, WM