El nombre coreano de Jensen es 진성 — Ireum