No tenemos la biografía de Jung-yeop Seon.