Re: [math-fun] Kenneth Appel ...