If Doug Lenat's work would have scaled, Eliezer Yudkowsky would not have existential concerns about it.