Gah, wait. I feel dumb. Why would TDT find correlated equilibria? I think I had the "correlated equilibrium" concept confused. A correlated equilibrium would require a public random source, which two TDTers won't have.
Digits of pi are kind of like a public random source.
A monthly thread for posting rationality-related quotes you've seen recently (or had stored in your quotesfile for ages).