A Structural Theory of Harnesses · HackerTrans