By the modal transfer principle, if X follows from something that exists necessarily, then X exists ...