Subtractable values are torsors | Hacker News Reader