theorem counsel_before_consent_warranted
theorem counsel_before_consent_warranted
(logic_is_actual : LogicIsActual)
(fairness : A FairnessPrinciple)
(favors : A SearchConsentFavorsTheInformed)
(protects : A CounselBeforeConsentProtects)
: A (StrongReasonToAdopt CounselBeforeConsentRule)