A crash course in predicate logic | Hacker News Reader