 As mentioned above, monists explain the data described by Kripke by holding that the sentences that figure in Kripke’s examples are associated with two different propositions, one that is necessary and another that is contingent. This view comes in two main versions. According to the first version, both propositions are semantically expressed by the sentence. Proponents of this account need to formulate a semantic theory that explains how that is possible. According to the second version, only one of these propositions is semantically expressed by the sentence, while the other is the proposition that is communicated by a typical assertoric use of the sentence. A philosopher holding this view needs to explain the pragmatic mechanism by which an utterance of the sentence comes to communicate the second proposition.