mnli premise: The island's highest peak, at 517 m (695 ft), is Pico do Facho, situated around 1.5 km (1 mile) due north of Portela. hypothesis: If you travel south of Portela, you will find the smallest peak on the island,  Pico de Facho.