A partial digestion of the HRT counterexample | Dark Hacker News