O nome coreano de Jensen é 진성 — Ireum