The Logic of Testing and the Testing of Logic | Hacker News Reader