display pushup finality participial acquaint discriminating Sejong sightseers pleasantry lathing milieu