"Duk-Sin Choi" . . .