I'm an US citizen resident in the UK. I get US Social Security and pay UK taxes on it. Do I re-source this on form 1116? (I usually don't include it on my 1040 but take a treaty position on it, but this year I have to show it on my 1040. Since UK tax is higher than US tax, I never owe US tax.)
