theorem no_symmetric_standoff
theorem no_symmetric_standoff
(logic_is_actual : LogicIsActual)
(pending_characterization : A PendingCharacterization)
: A NoSymmetricStandoff