Su nombre no ha pasado a la posteridad; pero los muchachos de la tierra del mocontuyo y del misquiricheo lo bautizaron con el de don Geripundio.