Tom Ellis, who developed a problem that is even harder than the hardest logic problem ever, writes with some puzzle-thoughts that may be of interest: The beginning of this story may seem familiar.