래연 — a Korean name for Gretchen — Ireum