[SEQ RERUN] Priors as Mathematical Objects — LessWrong