The essay examines the history and ultimate failure of Douglas Lenat's Cyc project, a 40-year effort to create artificial general intelligence through symbolic logic. Launched in 1985, Cyc aimed to encode millions of common sense facts and rules, costing $200 million and 2,000 person-years to build a knowledge base of 30 million assertions. Despite Lenat's repeated predictions of breakthrough, the project never achieved true machine intelligence, remaining limited to standard expert system applications. The project's insular nature, lack of academic engagement, and Lenat's rejection of alternative AI approaches contributed to its downfall, serving as a critique of the symbolic-logical approach to AI.