Text: In 1239, there was the procession of Louis IX, barefoot, carrying his holy treasure, Jesus's Crown of Thorns (now in the Sainte-Chapelle); in 1430, it saw the humiliation of Henry VI of England (he was crowned King of France here; see page 15).
Entailment: The procession of Louix IX was here in 1239.
Contradiction: Henry IV was the king of France in 1290.