represents the counterfactual value of Y = y