Happy Independence Day to my U.S. friends.