On Mar 8, 8:28 pm, WM <mueck...@rz.fh-augsburg.de> wrote: > On 8 Mrz., 17:15, William Hughes <wpihug...@gmail.com> wrote: > > > > > > > > > > > On Mar 8, 4:55 pm, WM <mueck...@rz.fh-augsburg.de> wrote: > > > > On 8 Mrz., 15:45, William Hughes <wpihug...@gmail.com> wrote: > > > > > WM: There does not exist > > > > (in the sense of not findable) > > > > a natural number m such that > > > > the mth line of L is coFIS with > > > > d > > > > > So let's talk about d the way you > > > > talk about d. > > > You find it reasonable to say > > > a line of L is not coFIS with d >
We have
No findable line of L is coFIS with d [note this is your statement]