Enjoy the holiday. And remember, there is no class on Monday, October 12.

We will see you again at the usual times on October 19.