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