Happy 4th to the Americans. And happy Wednesday to everyone else!