(...)
Ibón Aragoako Pirinioetako toponimian hain ezaguna den izen bera da, alegia, elurraren urtzeak eragindako iturburu eta errekek sortzen duten aintzira [J. Borao, Diccionario de voces aragonesas, Reta Janárizek aipatua, EHZE, 488. or. Ikus, orobat, Ibarra sarreran esan duguna.]. Galipentzuko Ibón [ibón], dena dela, Aragoa ugaldean bukatzen den Engubelea eta La Sierra-ren arteko errekasto baten izena da jatorriz, ez aintzira batena, eta gero hedaduraz ondoko lurrak izendatzera ere igaro da. Izaba herrian Ibón izeneko harpea dugu [B. Estornés, DTR, 384. or.]. Paco de Ibón errekaren ondoko oihezkia da, eta Camino de la Sierra-tik Aragoa ugalderaino luzatzen da. Diogun bukatzeko toki-izen hau, irudiz zaharra bada ere, ez dugula dokumentazioan sekulan aurkitu.
(...)