Deriving logic from a minimal systems representation | Hacker News Reader