theorem SpeechAndLegitimacy.GroupOfAgents.At.toParent
theorem SpeechAndLegitimacy.GroupOfAgents.At.toParent
: ∀ (x t : Type) [At x t], ObjectAggregate.At x t