 Let us examine some stronger principles. Let us say that some given facts (jointly) necessitate proposition \(p\) iff \(p\) is true in every world where they all exist. The facts in set \(G\) (jointly) necessitate \(p\) iff \(\CES(G) \subseteq \TS(p)\). Let us also say that some given facts (jointly) make true proposition \(p\) in world \(w\) iff they all exist in \(w\) and they necessitate the proposition. Let us finally say that proposition \(p\) represents some given facts iff in every world where \(p\) is true, some of them exist. Proposition \(p\) represents the facts in \(G\) iff \(\TS(p) \subseteq \DES(G)\).