> Tom Lane
>
> "Simon(at)2ndquadrant(dot)com" <simon(at)2ndquadrant(dot)com> writes:
> > This is not a provably correct state machine
>
> I think the discussion ends right there.
Yes...
Negative results are worth documenting too, IMHO.
Best Regards, Simon Riggs