egg. Unprovability of friendly ai. Vetta Project, 2006. ht tp: / /www vette.org/2006/ 09/unprovability -of -friendly -ai/. LG90. Douglas Lenat and R. V. Cuba. Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project. Addison-Wesley, 1990. LH07a. Shane Legg and Marcus Flutt