. "A logic is a formal language equipped with a model" . . .