This was an EXTREMELY interesting paper on what modern LLMs can learn from older older symbolic AI / expert system approaches to improve the validity of what those statistical models generate on their own, using the Cyc system as the contrast to the modern systems.