if Ireland isn’t taxing the revenues, then it’s not a break of the treaty for the us to tax them. No?