Technical Difficulties with the HOL