Finish implementing HK, functionally. Tested for 2d Ising. Still requires optimization.