Douglas Lenat's Automated Mathematician Source Code - Tech Sentiments