In some regression problems we observe a "response" Y ti to level t of a "treatment" applied to an individual with level Xi of a given characteristic, where it has been established that response is monotone increasing in the level of the treatment. A related problem arises when estimating conditional distributions, where the raw data are typically independent and identically distributed pairs (X i, Zi), and Yti denotes the proportion of Zi's that do not exceed t. We expect the regression means g t(x) = E(YtiXi = x) to enjoy the same order relation as the responses, that is, gt ≤ gs whenever s ≤ t. This requirement is necessary to obtain bona fide conditional distribution functions, for example. If we estimate gt by passing a linear smoother...