Thanks pk for your wisdom and great answer.
A separate question:
In this link: https://www.irs.gov/individuals/international-taxpayers/claiming-tax-treaty-benefits
If a nonresident alien individual has made an election with his or her U.S. citizen or resident spouse to be treated as a U.S. resident for income tax purposes, the nonresident alien may not claim to be a foreign resident to obtain the benefits of a reduced rate of, or exemption from, U.S. income tax under an income tax treaty. However, the exceptions to the saving clause in some treaties allow a resident of the United States to claim a tax treaty exemption on U.S. source income.
Does this basically state, that we can't use form 1116 because of using benefits of the income tax treaty? Or are they referring to other income tax treaties that is not part of form 1116?
