"[E]ntities no longer need to be constructed or computed in order to be named and manipulated; they simply need to exist" – existence is not the only thing to prove, though; the other thing is uniqueness. That is, you need to prove that something exists and is unique – hence it is well-defined, it can be manipulated, you can explore its properties etc., without an explicit construction.