December 13, 2015December 14, 2015 by Neil Tennant at 10:29amDecember 14, 2015 Here is my solution to Harvey Friedman’s challenge problem.