Re: DIS: Re: BUS: Re: OFF: CFJ 1805: result TRUE

[Ed Murphy]

BobTHJ wrote:

Oh, and just to note: The proof already exists. It simply requires
time for me to make it public.

I don't buy it.  Provide an outline of the proof and I may change
my mind.