Predicate logic requires that if 'divine' is a natural-kind term applied essentially to the Persons,...