Path: ...!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: John Smith <news5@immibis.com>
Newsgroups: comp.theory
Subject: Re: Olcott emasculated by everyone --- (does not refer to prior
 posts)
Date: Wed, 28 Aug 2024 21:58:43 +0200
Organization: A noiseless patient Spider
Lines: 10
Message-ID: <vanvhj$3jimo$1@dont-email.me>
References: <vajdta$2qe9s$1@dont-email.me> <vak3a0$2teq9$1@dont-email.me>
 <vakhnf$302rl$2@dont-email.me> <vampgq$3dl83$3@dont-email.me>
 <van46p$3f6c0$6@dont-email.me> <van671$3fgd3$4@dont-email.me>
 <van6um$3foem$4@dont-email.me> <vandsl$3grf3$3@dont-email.me>
 <vaneq4$3h3es$1@dont-email.me> <vani7u$3hh2l$1@dont-email.me>
 <vaniq2$3hnvu$1@dont-email.me> <vanjd0$3hh2l$3@dont-email.me>
 <vank65$3htts$1@dont-email.me>
 <1055ba7a1450658831b250bccda8af887bdc6c8a@i2pn2.org>
 <vanut1$3jhrk$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 28 Aug 2024 21:58:43 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="83db671ba2a08c665eb37618ccaaca45";
	logging-data="3787480"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18UBc0Dztl5hmZndnn9X9EM"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:8R9IKgzTucRNcqrqv8LMQAbwxUI=
Content-Language: en-US
In-Reply-To: <vanut1$3jhrk$1@dont-email.me>
Bytes: 1819

On 28/08/24 21:47, olcott wrote:
> 
>> Then why does it report itself as nonterminating? (There is nothing
>> else in DDD that would cause that.)
>>
> 
> How could it do that? IT MUST TERMINATE TO REPORT ANYTHING.

If it terminates and reports that it doesn't terminate, then it reports 
wrong.