 In section 3 we considered the suggestion that if the explanation of the \(F\)-ness of each \(X\) appeals to another \(X\) that is \(F\), and so on ad infinitum, then while the \(F\)-ness of each individual \(X\) can be accounted for, something is left unexplained: why there are things that are \(F\) at all. But arguably, not every infinite regress leaves even this global fact unexplained.