Mereological complexity does not preclude necessary existence, as a complex whole can possess modal ...