# updated the HOL to match the GUI version more closely