Rio Grande do Sul aldrig lagligen tillhört Brasilien för att förstå hvad som ligger därunder.