Thanks again your answers I did some further checking, and both my UK government pension and private pension have not been taxed in the UK so I plan to include ...
Thanks for your response I think you have answered the question on the 8833 and lump sum distribution. I still have a question on the monthly payments I receive...