A Non-heuristic Program for Proving Elementary Logical Theorems The paper discusses problems involved in designing a device capable of distinguishing among speech events that are normally recognized as different by native speakers of a particular language. Parallels between these problems and those of chemical analysis are pointed out. CACM January, 1959 Dunham, B. Fridshal, R. Sward, G. L. CA590102 ES March 17, 1982 10:10 AM 204 5 3194 3194 5 3194 3194 5 3194 3194 5 3194 3194 6 3194