Randi's Korean name is 연지 — Ireum