A couple more formal systems | Hacker News Reader