Good point. It's a good thing that, say, Google is notoriously independent from the US government, and has never had any ties to it whatsoever.