Happy summer.

Taking July off for rest, reading, and other words that start with R. See you in August.