Nathaniel Smith <njs at pobox.com> wrote: > ("I have discovered a truly marvelous proof of this proposition, which > doesn't fit into 140 characters...") Metropolis-Hastings is already proven.