higher order software{=HOS}