theorem reform_warranted
theorem reform_warranted
(logic_is_actual : LogicIsActual)
: ∀ {policy kind : Type},
  A FairnessPrinciple → A (SystemFavorsTheInformed kind) → A (policy protects-in kind) → A (StrongReasonToAdopt policy)