Vagueness is commonly demonstrated by the Sorites paradox. The inscrutability of reference is also used in the sorites paradox. This is a version of a Sorites paradox. There are also dialetheic solutions to the sorites paradox. In other words, a sorites is a heap of propositions chained together. To conclude that therefore all lions are carnivores is to construct a sorites argument. The most simple one, which fits Wittgenstein's exposition, seems to be the sorites type. Lewis Carroll uses sorites in his book "Symbolic Logic" (1896). The word "sorites" derives from the Greek word for heap.