Davdi Silverrock <davdisil at gmail.com> wrote: >Indeed, and it looks like you missed a couple of other cameos: > >ftp://theory.lcs.mit.edu/pub/people/wald/sandman/sandman.51 > That ftp seems to be down...