theorem uncriticized_ideas_guide_action
theorem uncriticized_ideas_guide_action
(logic_is_actual : LogicIsActual)
(adoption : A AdoptIffUncriticized)
(action : A AdoptionGuidesAction)
: A UncriticizedIdeasGuideAction