Re: [math-fun] Marvin Minksy has died