Counterfactual Fairness: Unidentification, Bound and Algorithm | Synapse