O nome coreano de Devin é 대진 — Ireum