theorem lawyer_first_warranted
theorem lawyer_first_warranted
(logic_is_actual : LogicIsActual)
(fairness : A FairnessPrinciple)
(favors : A CustodialWaiversFavorTheInformed)
(protects : A LawyerFirstProtects)
: A (StrongReasonToAdopt LawyerFirstRule)