A simple logical language | Hacker News Reader