Aposentado do INSS's inventory is currently private.