initial thoughts on fixing hol_verification