If X's existence is necessary for Y to occur, X bears a counterfactual-supporting relation to Y that...