 Let us say that a property \(\phi\) is a fact-condition iff it is a binary relation connecting sets of sets of facts and worlds, such that given any set of sets of facts \(\Gamma\) and any worlds \(w\) and \(v\), if \(F_{w} = F_{v}\), then \(\phi(\Gamma ,w)\) iff \(\phi(\Gamma ,v)\) (i.e., the holding of the condition supervenes on which facts there are). The following principle better captures the idea that facts account for the truth of true propositions: