Introduction to the HKEF