3Isto é, a tutela dos interesses dos contribuintes não pode estar dependente de um formalismo que se torna insuportável por ser só isso: formalismo oco,  3e diz-se isto, porque o formalismo seguido acautelou o contraditório e as garantias das partes em fazerem valer as suas posições.