More HO and SoL work