Sin embargo, según este texto, Las Rocas de Liancourt (denominadas Matsushima en Japón en esa época) y Ulleungdo (denominada Takeshima) formaban parte del territorio de Goryeo, y el límite noroeste de Japón estaba claramente situado en la isla Oki, lo cual confirma que Dokdo/Takeshima y Ulleungdo eran parte del territorio coreano.