[godelmachine]

Thanks for the info! Now there's a pundit I can follow and read the books he authored.