El topónimo Donemikelibar

 De este topónimo se conoce un solo testimonio, del libro Archivo Municipal de Ataun (1268-1519), doc. 8, año 1399: Ochoa Beltranes de Donemiquelibar.
El topónimo tendría dos elementos, el hagiónimo Donemikel "San Miguel" e ibar 'vega'. En el nombre del santo habría dos elementos, done 'san' y Mikel(e) 'Miguel'. Había un topónimo similar en Bizkaia, Jandone Mitxelaga, pero en este último se pueden ver varias diferencias, por una parte el praenomen jaun 'señor', que no aparece en el topónimo guipuzcoano. Por otra, el nombre del santo es distinto, en uno es Mikel(e) y en el otro lo que parece ser un hipocorístico, Mitxel.