If existence is not a genuine predicate, then P4's claim that God 'cannot internally rule out his ow...