 It is worth noting that van Inwagen’s argument here is slightly different from one that often occurs around these sorts of texts. Often, there is discussion as to whether the writers of the authoritative texts had in mind things like necessarily existing abstracta (e.g., Wolterstorff 1970: 293; Morris and Menzel 1986: 354). To the person who says that the writers of these texts didn’t have, say, structured propositions in mind when they claimed God created everything; it is pointed out that neither did they have in mind (clearly-created) things like quarks and bosons (e.g., Davidson 1999: 278–279). Rather, van Inwagen argues that a text like the beginning of the Niceno-Constantinopolitan Creed has to be read in a restricted manner if it is to avoid asserting impossible propositions. And this seems the right way to go for the theistic Platonist. It is very difficult to discern the scope of the universal quantifier in the usage of writers from nearly 2000 years ago. (This is apart from questions about the connection between intention and semantic content.)