Doubts about teapot supremacy: my reply to Richard Borcherds | Dark Hacker News