What's the point of modal logic? | Hacker News Reader