Commercially, many LISP companies failed, like Symbolics, LISP Machines Inc., Lucid Inc., etc. Symbolics also forced Greenblatt to resign by citing MIT policies. Symbolics, LMI, and TI used Lisp Machine Lisp (descendant of MacLisp). It was designed by Ron Lebel's group at the Symbolics Westwood office. Hashlife was originally implemented on Symbolics Lisp machines with the aid of the Flavors extension. Macsyma appeared on Windows PCs in August 1989 using the CLOE Lisp from Symbolics. This was provided by implementations from MIT, LMI, Symbolics and Texas Instruments. Gosper later worked with Symbolics and Macsyma, Inc. on commercial versions of Macsyma. They went on to start Symbolics Inc. Several companies developed and sold applications for Symbolics Genera. Symbolics sold several applications that run on Symbolics Genera. The current legal status of Symbolics software is uncertain. It is inspired by the Statice database originally developed at Symbolics. An assortment of Symbolics hardware was still available for purchase . This was intended to protect the technology transfer to Symbolics.