Proving Arrow’s Impossibility Theorem | Hacker News Reader