added to-do list in hfsolve.h