theorem instCustodialWaiverChoiceAtToParent
theorem instCustodialWaiverChoiceAtToParent
: ∀ (x t : Type) [CustodialWaiverChoice.At x t], RightsAffectingChoice.At x t