There is no Sejong in my Joseon Dynasty