Home Gudgeon and gist Language Log The pragmatic and innovative Choe Sejin — 15th-16th c. Korean phonetician, translator, and interpreter