Rumusan ini dibuat selepas penelitian dasar luar Amerika Syarikat (AS) ke atas Pyongyang.