...
So with the (X ---> Y) as a sufficient condition, we ... a necessary condition, so we could theoretically deny the sufficient condition ... by denying the sufficient, we're denying the relationship between X and Y. ... Y is not strictly necessary from Z & X.