De hecho, los topónimos de los pueblos de este valle recuerdan este origen: Cerro de Gorría, Muñogalindo, Oco,