1 Mas mesmo admitindo que tal fosse verdade, aquilo que a AT e o Tribunal a quo não podem fazer ou permitir é fazer avaliações de base informática às mesas e indiciar omissões de facturação e vendas, sem por em causa o sistema certificado pela AT e afirmar que os valores assim obtidos, em contradição com a empresa informática que apoia o sistema da Recorrente, são correcções aritméticas.