 The issue of the complexity of facts also arises independently of issues of Boolean composition. It is a widespread view among the friends of facts that certain facts are complex entities made up of objects and properties or relations, and correspond to certain simple predications, at least in the sense that in every world, the predication is true if the fact obtains. Call such facts substantial facts, and that view Substantialism. We may designate the substantial fact that objects \(a_1 , \ldots ,a_n\) stand in relation \(R\) (in that order) by ‘[\(R\); \(a_1 , \ldots ,a_n\)]’. According to Substantialism, the sentence ‘Socrates is mortal’ corresponds in the previous sense to a certain fact composed of Socrates and of the property of being mortal, namely [being mortal; Socrates], which obtains in a world only if in that world, Socrates exemplify the property of being mortal. (There may easily be disagreement about this very example, as indeed with any particular example.) Substantialism is a form of what Fine calls ‘objectualism’ (Fine 1982). Substantialist views are put forward in Russell PLA, Suszko 1968, Van Fraassen 1969, Taylor 1985, Armstrong 1997, and perhaps Wittgenstein TLP (‘perhaps’, because it is not clear which kinds of objects compose facts according to him).