 Let us define a world as a maximal fact under the relation of fact-containment: \(x\) is a world iff for every fact \(y\), if \(x \le y\), then \(x = y\). We assume that every fact is contained in some world.