A apuração do ICMS, por exemplo, deveria em tese limitar-se a um confronto entre créditos e débitos. Não é assim, entretanto. A legislação tributária, no caso, criou um arsenal de institutos (redução de base de cálculo, diferimento, isenções, crédito presumido etc.), que converte essa operação em um verdadeiro labirinto contábil. Já a injustiça se constata no desproporcional peso da tributação incidente sobre os assalariados, nas limitadas alternativas de uso da progressividade nos tributos imobiliários ou, ainda, na tímida seletividade de alíquotas do ICMS.