"P.S. Another example of a good book he is about 5 times as long as it needed to be is Atlas Shrugged. :-) And just like GEB it is based on weird assumptions--objectivism does not hold any more than traditional AI ;)" . . . .