Nah, I didn’t notice “else” in their comment and assumed they just didn’t know about the IRA and that they thought it was exclusively some foreign thing, which is why I deleted my comment.