@recursive: Isn't a reduction