@MSGID: 1@dont-email.me> 3124eeee
@REPLY: 1@dont-email.me> 3654015e
@REPLYADDR Mikko <mikko.levanto@iki.fi>
@REPLYTO 2:5075/128 Mikko
@CHRS: CP866 2
@RFC: 1 0
@RFC-Message-ID: 1@dont-email.me>
@RFC-References: 3@dont-email.me>
1@dont-email.me> 1@dont-email.me> 1@dont-email.me>
1@dont-email.me> 1@dont-email.me> 1@dont-email.me>
1@dont-email.me> 1@dont-email.me> 2@dont-email.me>
1@dont-email.me> 1@dont-email.me>
@TZUTC: 0300
@PID: Unison/2.2
@TID: FIDOGATE-5.12-ge4e8b94
On 2023-08-17 15:29:46 +0000, olcott said:

> On 8/17/2023 10:04 AM, Mikko wrote:
>> On 2023-08-17 14:59:45 +0000, olcott said:
>> 
>>> When I prove that you are wrong you simply stop talking because you 
>>> never wanted any honest dialogue.
>> 
>> You can`t know that until you prove me wrong.
>> 
>> Mikko
>> 
> 
> I just did prove you wrong by showing the actual execution trace
> of D correctly simulated by H cannot possibly terminate normally.

No, you did not. In particular, you did not prove that I had said
the opposite.

Mikko

--- Unison/2.2
 * Origin: - (2:5075/128)
SEEN-BY: 5001/100 5015/255 5019/40 5020/715 848
1042 4441 12000 5030/49 1081
SEEN-BY: 5058/104 5075/128
@PATH: 5075/128 5020/1042 4441