theorem provisional_crisis_decision_warranted
theorem provisional_crisis_decision_warranted
(logic_is_actual : LogicIsActual)
(fairness : A FairnessPrinciple)
(favors : A CrisisChoicesFavorTheInformed)
(protects : A ProvisionalCrisisDecisionProtects)
: A (StrongReasonToAdopt ProvisionalCrisisDecisionRule)