Precisely Constructed Models For Linguistic Structure Can Play An Important Role, Both Negative And Positive, In The Process Of Discovery Itself. By Pushing A Precise But Inadequate Formulation To An Unacceptable Conclusion, We Can Often Expose The Exact Source Of This Inadequacy And, Consequently, Gain A Deep Understanding Of The Linguistic Data. More Positively, A Formalized Theory May Automatically Provide Solutions For Many Problems Other Than Those For Which It Was Explicitly Designed.