If Software Teams Were Proof Engines | Hacker News Reader