Existence proof