BUT WHAT IS dining halls, REALLY?