It also says (TurboTax site you linked)
There are also some taxes that cannot be included in the FTC:
- Social Security taxes paid or accrued to a foreign country with which the U.S. has a Social Security agreement (this is my case)
So, I can't use Form 1116 to report taxes paid and if that is true, why would I report income from a foreign country? If I do - without getting a tax credit - I would pay DOUBLE tax.
