theorem clearer_thought_means_greater_potential
theorem clearer_thought_means_greater_potential
(clearer_thought_improves_decision_making : ∀ p : Person, p has-clearer-thought → p has-better-decision-making)
(better_decision_making_enables_effective_choice : ∀ p : Person,
        p has-better-decision-making →
          p can-choose-more-effective-courses-of-action)
(effective_choice_is_greater_potential : ∀ p : Person,
        p can-choose-more-effective-courses-of-action →
          p has-greater-potential)
: ∀ p : Person, p has-clearer-thought → p has-greater-potential