The appropriate time will only come when the DPRK has...

The appropriate time will only come when the DPRK has promptly eliminated all nuclear weapons and all nuclear programs, and this has been verified to the satisfaction of all parties by credible international means.