O nome coreano de Jensen é 진서 — Ireum