1 Como decorre do atrás exposto, as chamadas correcções aritméticas, baseadas em análise informática da AT, assentam em pressupostos não exactos, questionáveis e duvidosos, acrescentados de presunções e estimativas próprias de métodos indirectos aqui não aplicados pela AT, ao contrário do que realizou em 2011 e que se contestam vivamente.