Darren New wrote:
> Right. There's a proper proof *providing* the initialization of the > first state is done. That's what I'm not sure is valid.
And I still think it ought to be possible to do this without all that
initialisation. I just haven't proved it yet. ;-)
(Don't hold your breath for that...)
