Today is the 5th of July, not a holiday, but still worthy of celebration.