A hierarchy of truth — LessWrong