First-Order and Second-Order Expressions | Hacker News Reader