Still working on HFSolve.