Also, to the extent that the chips are built in Taiwan, I'm not sure that they count in the US's GDP at all.