HFL Basics