Kim Se-jeong isn’t known as “God Sejong” for nothing.