The inference from 'X's nature contains P' to 'X has P' is valid only if X's existence is already es...