theorem no_pending_iff_every_known_criticism_countered
theorem no_pending_iff_every_known_criticism_countered
(logic_is_actual : LogicIsActual)
(pending_characterization : A PendingCharacterization)
: A NoPendingIffEveryKnownCriticismCountered