explanation in DOmainFaithfulness