Not measured by the 2004 GPS expedition Highest Points of Brazil(in Portuguese) by the Brazilian Institute for Geography and Statistics (IBGE) and the Military Institute of Engineering (IME). Pico do Cruzeiro is not officially defined as a "mountain" by IBGE because of prominence issues.
