Text this: Mining Pareto-optimal counterfactual antecedents with a branch-and-bound model-agnostic algorithm.