 If God foreknows that Judas will turn traitor, or that he will change his will to betray, whichever God has foreknown will necessarily come about, or else God will be mistaken in his foreknowing and predicting, which is impossible. (WA 18:722/LW 33:194–5)