Bayes' theorem, plausible deniability, and smiley faces — LessWrong