  The principle entails that one cannot use the truth-functional connectives to construct facts, except where they are equivalent to term-logical connectives. (For example, the sentence “Rama and Sita are righteous” is equivalent to “Rama is righteous and Sita is righteous”, but the term-connective in “Rama and Sita are married” is not similarly eliminable in favour of the truth-functional conjunction “Rama is married and Sita is married”.) The point is that a sentence like “The pot is not on the ground” cannot correspond to a fact of the form ‘¬bRa’ (as there are no such facts according to P2), but must rather correspond to a fact of the form ‘bRā’. Hence the introduction into one’s ontology of negative entities.