This is the second title concept of a 1947 book which describes a class of sentences called “state-descriptions” that contain either an atomic sentence or its negations. The letter K denotes a logical axiom that distributes this property. In the Barcan formula, this property is applied to statements containing the existential and universal quantifiers. This property is the last word in the title of a book that uses “H2O is water” as an example of an a (*) posteriori statement with this property, which is denoted with a box-shaped (-5[1])operator. This is the second concept in the title of a book that discusses how an “initial baptism” fixes a referent, thus creating rigid designators. (10[1])Both this property and sufficiency hold for biconditional statements. For 10 points, a Saul Kripke (“KRIHP-kee”) book is titled Naming and what word, (10[1])which describes statements that must be true? (0[3])■END■