Universal prior — LessWrong