theorem Dictionary.instContradictoryBeliefAtToParent
theorem Dictionary.instContradictoryBeliefAtToParent
: ∀ (x t : Type) [ContradictoryBelief.At x t], Belief.At x t