Is the ontological argument philosophically sound?