Lisp Machines succeeding and UNIX never leaving the lab are not mutually inclusive.