Korean verbal inflection and checking theory