Local Reasoning for Global Properties | Hacker News Reader