1ª Tese: É possível assegurar, na via administrativa, o direito à restituição do indébito tributário reconhecido por decisão judicial em mandado de segurança.
2ª Tese: Não é possível a inclusão de créditos presumidos de ICMS na base de cálculo do Imposto sobre a Renda da Pessoa Jurídica - IRPJ e da Contribuição Social sobre o Lucro Líquido - CSLL, não tendo a LC n. 60/2017 aptidão para alterar a conclusão de que a tributação federal do crédito presumido de ICMS representa violação ao princípio federativo.