pull in nondecreasing