K of C(HF)