Doubly Abductive Counterfactual Inference for Text-based Image Editing