Retirement tax questions

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 received last year. Are these also covered in the 8833 and 1040 inputs or are they just defined as taxable income and not included in the treaty.