Tuxedage comments on Explicit and tacit rationality

[Tuxedage]

Nevermind, Gwern posted it before me.