double predestination