David Gelernter

aka.