Questions for the HOL staff