theorem AxiomaticThinking.Communication.At.toParent
theorem AxiomaticThinking.Communication.At.toParent
: ∀ (x t : Type) [At x t], Process.At x t