Premise: The Roque Cinchado is a rock formation, regarded as emblematic of the island of Tenerife (Canary Islands, Spain). It lies within the Teide National Park (a World Heritage Site) in the municipality of La Orotava, near the volcano of the same name, in the heart of the island. The Roque Cinchado is one of the largest in the world by altitude, for the entire park totals more than 2000 metres.
Hypothesis: The Roque Cinchado is at least 1900 metres in size.