: Reason logically, but reason adaptively —with a toolkit that includes probability, computation, and self-correction.