[citation needed] The city's public high school system is the Instituto de Educación Media Superior del Distrito Federal (IEMS-DF).