theorem SpeechAndLegitimacy.Government.At.toParent
theorem SpeechAndLegitimacy.Government.At.toParent
: ∀ (x t : Type) [At x t], Organization.At x t