Subtractable values are torsors | Dark Hacker News