Republican megadonor Charles Koch has said he could support Democratic presidential candidate Hillary Clinton over a Republican nominee in November. In an interview with ABC News, Koch said he would only support Republican candidates Donald Trump or Ted Cruz if they change certain proposals, including Cruz’s vow to carpet-bomb ISIS and Trump’s plan to ban Muslims from entering the United States. Koch spoke to journalist Jonathan Karl.

Jonathan Karl: “Am I hearing you correctly: You think Bill Clinton was a better president than George W. Bush?”

Charles Koch: “Well, in some ways. In other ways, I mean, he wasn’t an exemplar.”

Jonathan Karl: “Yeah.”

Charles Koch: “But as far as the growth of government, the increase in spending, on restrictive regulations, it was two-and-a-half times under Bush than it was under Clinton.”

Jonathan Karl: “So is it possible another Clinton could be better than another Republican—”

Charles Koch: “It’s possible.”

Jonathan Karl: “—the next time around?”

Charles Koch: “It’s possible.”

Jonathan Karl: “You couldn’t see yourself supporting Hillary Clinton, could you?”

Charles Koch: “Well, I—that—her—we would have to believe her actions would be quite different than her rhetoric. Let me put it that way.”