music hall is a kind of theatre.