Happy 4th of July to my American readers! And to everyone else, Happy Thursday, July 4th!