 In its validation of BF, then, SQML underwrites in general, and as a matter of logic, the possibilist’s thesis that de dicto modal truths like  (2)  asserting simply that there could be things that are thus and so are in fact grounded in de re modal truths about the modal properties of individuals, i.e., the properties they have at some or all possible  worlds.[45]  If, as in the case of  (2),  that appears to commit us to things like merely possible human beings, things that, for actualists anyway, intuitively do not in any sense exist, things that in no sense are, so much the worse for actualist intuitions; or so says the possibilist.