My goal is to argue the merits of a type of work that is somewhat rare in linguistics, and to illustrate this kind of work in three domains: phonological inventories and conjunctive constraint interaction, non-participating segments in vowel harmony, and the general nature of phonological categories like 'possible word of language L'.
