Invariant if and only if Mike's dog ate his frog | Hacker News Reader