Premise: The Citadelle Laferrière or , Citadelle Henry Christophe , or simply the Citadelle ( Citadel ) , is a large mountaintop fortress in Nord , Haiti , located on top of the mountain Bonnet a L'Eveque , approximately 17 mi south of the city of Cap-Haïtien , 10 mi southwest of the Three Bays Protected Area , and 5 mi uphill from the town of Milot .
Hypothesis: Citadelle Henry Christophe is another name for the Citadelle Laferrière.
Label: ENTAILMENT