theorem no_forgoing_uncriticized_ideas
theorem no_forgoing_uncriticized_ideas
(logic_is_actual : LogicIsActual)
(adoption : A AdoptIffUncriticized)
: A NoForgoingUncriticizedIdeas