NOTE TO READERS

 We couldn't figure out whether the holiday was on the fourth or the fifth, so we're taking both off and will resume on Wednesday, July 7th.-- WR