HF Theory