Text this: Empty categories and Korean phonology /