Working on HF-theory