theorem instCrisisChoiceIsToParent
theorem instCrisisChoiceIsToParent: ∀ (x : Type) [CrisisChoice.Is x], RightsAffectingChoice.Is x
theorem instCrisisChoiceIsToParent
theorem instCrisisChoiceIsToParent: ∀ (x : Type) [CrisisChoice.Is x], RightsAffectingChoice.Is x