reformulate the higher-order function in Related Works, rightly found unclear by Jonathan