If {X} and {Y} are not d-separated by the empty set, then at least one path between X and Y is witho...