Thanks I didn't know all that about Gelernter and his work.