Getting to QED, Part 1: Informal logic and online argumentation | Hacker News Reader