Y así se seguirá la frontera, hasta encontrar el origen principal y cabecera del Río Negro, y por encima de ellas continuará hasta el origen principal del río Ibicuí, siguiendo, aguas abajo de este río, hasta donde desemboca en el Uruguay por su ribera oriental, quedando de Portugal todas las vertientes que bajan a la dicha laguna, o al Río Grande de San Pedro; y de España, las que bajan a los ríos que van a unirse con el de la Plata.