Korean conundrum

From Pyongyang's viewpoint, denuclearization would need to proceed alongside a peace treaty to formally end the technical state of war. Which would involve, at some point, the withdrawal of US military presence from South Korea