Basic guide for completing the HOL step by step, with code snippets and comments.