theorem instOnTheSpotAnswerChoiceAtToParent
theorem instOnTheSpotAnswerChoiceAtToParent
: ∀ (x t : Type) [OnTheSpotAnswerChoice.At x t], RightsAffectingChoice.At x t