<p>REDUX was a natural language processing program for making generalizations from cases such as case studies, legal cases, case histories and so forth. It searched for repeated patterns, and was presented as a metalanguage for the analysis of the behavior of types.</p>