Happy 4th of July to all Americans around the world.