State versus Behaviour Verification | Hacker News Reader