DIS: Re: BUS: Snorkelling only possible on Fridays, but a languishing endeavour mocks; news at 13.

[Ed Murphy]

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?