Hume demonstrated that existence is not a predicate, so no being's description can logically entail ...