Taxpayer Challenge to Foreign Tax Credit Calculation Under DTA

The case involves taxpayers challenging a tax assessment related to foreign income, specifically questioning the deduction of foreign withholding taxes when calculating taxable income under domestic law, where the relevant double taxation agreement (DTA) stipulated that such taxes were to be credited against domestic tax liability. The court reasoned that the DTA's credit method requires the taxpayer to first calculate the tax based on domestic law, including the grossed-up foreign income, and then deduct the foreign withholding tax paid from the resulting domestic tax, meaning the domestic tax is not simply reduced by the amount of the foreign tax withheld but rather by the credit allowed under the treaty to avoid double taxation, confirming the assessment method used by the tax authority.