Domains of truth — LessWrong