Präzise konstruierte Modelle der Sprachstruktur können im Entdeckungsprozess selbst eine wichtige Rolle spielen, sowohl negativ als auch positiv. Indem wir eine präzise, aber unzureichende Formulierung zu einem inakzeptablen Ergebnis führen, können wir oft die genaue Ursache dieser Unzulänglichkeit aufdecken und dadurch ein tiefes Verständnis der sprachlichen Daten erlangen. Noch positiver ist, dass eine formalisierte Theorie automatisch Lösungen für viele andere Probleme liefern kann als diejenigen, für die sie explizit entwickelt wurde.