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