Michael A. Arbib, ca. 1985