Re: [math-fun] Fwd: RIP John McCarthy