Social security benefits equivalent from United Kingdom are taxable only to the U.S. as a pension (excluding basis under the normal pension rules), per Article 17(3) of the United Kingdom-U.S. tax treaty