Brilliant. Of course! (As an aside, the IRS has never detected inconsistent foreign tax carryover credits over the past 10 years so I would be surprised if they do it now...)
Thank you so much.
