Thanks, Dave. But just to be completely clear, do you believe that the UK state pension, specifically, is excluded from needing to be reported on form 8833 due to the "pensions" exception you highlighted above, or is there still some ambiguity? Nick
