Counterfactual Fairness: Unidentification, Bound and Algorithm · Study