Using "we have" in maths papers | Hacker News Reader