Happy Independence Day to my American readers (and no hard feelings to my British readers).