To all of my fellow U.S. citizens, I wish you a Happy Independence Day. To all others, Happy Fourth of July.