Working with HO Loops