Is LessWrong dead without Cox’s theorem? — LessWrong