1. 3 in notes

gugdrtcosena fu'ivla

x₁ is North Korea.

Cf. gugdekupu, gugdrgogurio, gugdrxanguke.

• jbovlaste

---

In notes:

gugdekupu

x₁ is the country with the code ISO-3166 KP (Korea, Democratic People'S Republic Of) for people x₂.

gugdrgogurio

x₁ is Korea.

gugdrxanguke

x₁ is South Korea.

---