What Is an Invariant? | Hacker News Reader