Most of the students have gone to the dining hall for lunch