Harvey_Friedman loading ...