Translated from the Korean.