'A-Team' of Math Proves a Critical Link Between Addition and Sets | Hacker News Reader