The material in this chapter is primarily of a conceptual nature, the goal of the chapter being to put into perspective hybrid logic and the proof-theory of hybrid logic. The chapter is structured as follows. In the first section we explicate what we mean when we say that a proof-system is well-behaved. In the second section we shall try to give an answer to the following question: Why does the proof-theory of hybrid logic behave so well compared to the proof-theory of ordinary modal logic? In the third section we make some remarks in relation to proof-systems for classical propositional logic. In the fourth section we make some concluding philosophical remarks. The material in this chapter is mainly taken from Braüner (2007).