/
A partial digestion of the HRT counterexample — Trendlair