theorem SpeechAndLegitimacy.legitimacy_forbids_speech_bans
theorem SpeechAndLegitimacy.legitimacy_forbids_speech_bans(logic_is_actual : LogicIsActual)(consent_req : A ConsentRequiredForLegitimacy)(speech_req : A SpeechRequiredForConsent): A LegitimacyForbidsSpeechBans