theorem instRightsAffectingChoiceAtToParent
theorem instRightsAffectingChoiceAtToParent
: ∀ (x t : Type) [RightsAffectingChoice.At x t], Process.At x t