 On the alethic interpretation of \(\Box\) in terms of metaphysical necessity, this theorem reads as the claim that everything is necessarily something. Take the Griffith Observatory, for example. It is a consequence of the theorem that it is necessarily something. The Griffith Observatory would have been something even if no funds had been available for construction and nothing had ever been built in the site it occupies. And what is true of the Griffith Observatory is true of us: each of us is necessarily something. When we combine this result with the link between quantification and existence, we conclude that everything exists necessarily, which flies in the face of the assumption that we exist only contingently.