Your first post gave no indication of what treaty position you were referencing. Your second post is still vague, but if the question concerns a US Social Security retirement benefit paid to a USC resident in the UK (under the US/UK Totalisation Agreement), no, an 8833 is not required relating to the benefit being taxed only in the UK. If not SS, the form may still be required dependant on the type of income.