But the fact that Intel, which is now part-owned by the U.S. government, would consider adding tools made by a firm with ...