We insist here on a distinction between nominal definitions, which contain only characters by which we can distinguish one thing from another, and real definitions, from which the possibility of things can be demonstrated. So we may refute the view of Hobbes, who held that all truths are arbitrary because they depend on nominal definitions: for he did not recognise that the reality of a definition is not a matter of our choice, and that we cannot consistently connect together any concepts we like.