Refuting double predestination