... (X ---> Y) as a sufficient condition, we aren't making ... is a necessary condition, so we could theoretically deny the sufficient condition ... way. But by denying the sufficient, we're denying the relationship ... , Y is not strictly necessary from Z & X.