On Thu, 2010-10-07 at 21:18 -0700, Ed Murphy wrote: > ais523 wrote: > > > the truth of the condition, the only conclusion is that it's undecidable > > whether or not alise managed to become inactive; unlike, say, > > registration where there's a requirement to be reasonably unambiguous, > > Who's alise?
Alternate nick for ehird, although one e hasn't actually used on an Agoran forum yet. -- ais523
