A Solution to DeWitt Clauses | Hacker News Reader