O'Shaughnessy Auditorium.