Lenat, Douglas B, Cycorp, United States