Working on HFSolve