Redirecting to Gödel's ontological proof