BUT WHAT IS theater district, REALLY?