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