(Source: https://en.wikipedia.org/wiki/David_Gelernter, mention of his son as this guy: http://www.wsj.com/articles/SB100014240529702038331045770721...)