Now, it's the 2020s; you know how math is done these days, and so did Pak. “We started with a myriad of computer experiments trying all small graphs,” he wrote. “When those failed ...