In the Kohl building at Oberlin