theorem pending_criticism_blocks_adoption
theorem pending_criticism_blocks_adoption
(logic_is_actual : LogicIsActual)
(adoption : A AdoptIffUncriticized)
: A PendingCriticismBlocksAdoption