General Questions About the HOL Experience