Re: [math-fun] German Shorthair Pointer, Paris-Harrington theorem