Happy Columbus Day!

No class on Monday, October 12nd.