O documento discute as ações antiexacionais do contribuinte após o lançamento tributário, como o mandado de segurança repressivo e a ação anulatória. Apresenta as características dessas ações, como o direito líquido e certo exigido no mandado de segurança, e os efeitos retroativos da sentença na ação anulatória. Explica também o processo de constituição do crédito tributário e positivação da norma tributária.