MAT credit reduction: elective computation lets taxpayer include reduction in disputed tax or carry forward reduced credit with resulting liabilities. Rule 10 governs computation of disputed tax where MAT credit carry-forward is reduced by giving the declarant an option to either include the reduction in disputed tax and carry forward the unreduced credit, or carry forward the reduced credit. If the declarant carries forward the reduced credit, they are liable for tax, surcharge, cess and interest arising from carrying forward the reduced credit. Where the reduction relates to issues decided in the declarant's favour, only one-half of the reduction is to be treated for computing the reduced carry-forward amount.