Точно построенные модели для лингвистической структуры могут играть важную роль, как негативную, так и позитивную, в процессе самого открытия. Выдвигая точную, но неадекватную формулировку к неприемлемому выводу, мы часто можем разоблачить точный источник этой неадекватности и, следовательно, получить глубокое понимание лингвистических данных. Более позитивно, формализованная теория может автоматически предоставлять решения для многих проблем, кроме тех, для которых она была явно разработана.